Marco Schaerf: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Reducing belief revision to circumscription (and vice versa)

Paolo Liberatore, Marco Schaerf

Journal:

Artificial Intelligence

Year:

1997

Language:

english

File:

PDF, 2.63 MB

english, 1997

2

Belief Revision and Update: Complexity of Model Checking

Paolo Liberatore, Marco Schaerf

Journal:

Journal of Computer and System Sciences

Year:

2001

Language:

english

File:

PDF, 228 KB

english, 2001

3

LOCAL++: A C++ framework for local search algorithms

Andrea Schaerf, Marco Cadoli, Maurizio Lenzerini

Journal:

Software: Practice and Experience

Year:

2000

Language:

english

File:

PDF, 180 KB

english, 2000

4

The scientific legacy of Marco Cadoli in Artificial Intelligence

Lenzerini, Maurizio, Schaerf, Marco

Journal:

Intelligenza Artificiale

Year:

2013

File:

PDF, 323 KB

2013

5

Reasoning about reasoning in a meta-level architecture

Luigia Carlucci Aiello, Daniele Nardi, Marco Schaerf

Journal:

Applied Intelligence

Year:

1991

Language:

english

File:

PDF, 1.06 MB

english, 1991

6

The size of a revised knowledge base

Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf

Journal:

Artificial Intelligence

Year:

1999

Language:

english

File:

PDF, 322 KB

english, 1999

7

The balanced academic curriculum problem revisited

Marco Chiarandini, Luca Di Gaspero, Stefano Gualandi, Andrea Schaerf

Journal:

Journal of Heuristics

Year:

2012

Language:

english

File:

PDF, 1.37 MB

english, 2012

8

NP-SPEC: an executable specification language for solving all problems in NP

Marco Cadoli, Giovambattista Ianni, Luigi Palopoli, Andrea Schaerf, Domenico Vasile

Journal:

Computer Languages

Year:

2000

Language:

english

File:

PDF, 225 KB

english, 2000

9

Tractable reasoning via approximation

Marco Schaerf, Marco Cadoli

Journal:

Artificial Intelligence

Year:

1995

Language:

english

File:

PDF, 4.89 MB

english, 1995

10

Is intractability of nonmonotonic reasoning a real drawback?

Marco Cadoli, Francesco M. Donini, Marco Schaerf

Journal:

Artificial Intelligence

Year:

1996

Language:

english

File:

PDF, 2.78 MB

english, 1996

11

A survey of complexity results for non-monotonic logics

Marco Cadoli, Marco Schaerf

Journal:

The Journal of Logic Programming

Year:

1993

Language:

english

File:

PDF, 2.95 MB

english, 1993

12

On the complexity of second-best abductive explanations

Liberatore, Paolo, Schaerf, Marco

Journal:

International Journal of Approximate Reasoning

Year:

2015

Language:

english

File:

PDF, 368 KB

english, 2015

13

Compiling problem specifications into SAT

Marco Cadoli, Andrea Schaerf

Journal:

Artificial Intelligence

Year:

2005

Language:

english

File:

PDF, 252 KB

english, 2005

14

[IEEE 2014 IEEE/ACM Joint Conference on Digital Libraries (JCDL) - London, United Kingdom (2014.9.8-2014.9.12)] IEEE/ACM Joint Conference on Digital Libraries - The Organization information integration in the management of a Digital Library System

Di Iorio, Angela, Schaerf, Marco

Year:

2014

Language:

english

File:

PDF, 138 KB

english, 2014

15

Describing and reasoning on Web Services using Process Algebra

Salaun, Gwen, Bordeaux, Lucas, Schaerf, Marco

Journal:

International Journal of Business Process Integration and Management

Year:

2006

Language:

english

File:

PDF, 173 KB

english, 2006

16

The size of BDDs and other data structures in temporal logics model checking

Ferrara, Andrea, Liberatore, Paolo, Schaerf, Marco

Journal:

IEEE Transactions on Computers

Year:

2015

Language:

english

File:

PDF, 285 KB

english, 2015

17

Accuracy of author names in bibliographic data sources: an Italian case study

Demetrescu, Camil, Ribichini, Andrea, Schaerf, Marco

Journal:

Year:

2018

Language:

english

File:

PDF, 909 KB

english, 2018

18

The compilability framework

Liberatore, Paolo, Schaerf, Marco

Journal:

Intelligenza Artificiale

Year:

2013

File:

PDF, 65 KB

2013

19

Compilability of propositional abduction

Liberatore, Paolo, Schaerf, Marco

Journal:

ACM Transactions on Computational Logic

Year:

2007

Language:

english

File:

PDF, 148 KB

english, 2007

20

[ACM Press the fourteenth ACM SIGACT-SIGMOD-SIGART symposium - San Jose, California, United States (1995.05.22-1995.05.25)] Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems - PODS '95 - The size of a revised knowledge base

Cadoli, Marco, Donini, Francesco M., Liberatore, Paolo, Schaerf, Marco

Year:

1995

Language:

english

File:

PDF, 1.09 MB

english, 1995

21

[ACM Press the fourth symposium - Paderborn, Germany (1999.02.23-1999.02.26)] Proceedings of the fourth symposium on Virtual reality modeling language - VRML '99 - JubilEasy

Schaerf, Marco, Tessicini, Alessandro

Year:

1999

Language:

english

File:

PDF, 1.74 MB

english, 1999

22

Computing the Shapley value in allocation problems: approximations and bounds, with an application to the Italian VQR research assessment program

Lupia, Francesco, Mendicelli, Angelo, Ribichini, Andrea, Scarcello, Francesco, Schaerf, Marco

Journal:

Journal of Experimental & Theoretical Artificial Intelligence

Year:

2018

Language:

english

File:

PDF, 2.17 MB

english, 2018

23

Are Italian research assessment exercises size-biased?

Demetrescu, Camil, Ribichini, Andrea, Schaerf, Marco

Journal:

Year:

2020

File:

PDF, 989 KB

2020

24

An Algorithm to Evaluate Quantified Boolean Formulae and Its Experimental Evaluation

Marco Cadoli, Marco Schaerf, Andrea Giovanardi, Massimo Giovanardi

Journal:

Journal of Automated Reasoning

Year:

2002

Language:

english

File:

PDF, 604 KB

english, 2002

25

Towards intelligent decision support systems for emergency managers: the IDA approach

Gadomski, Adam Maria, Bologna, Sandro, Costanzo, Giovanni Di, Perini, Anna, Schaerf, Marco

Journal:

International Journal of Risk Assessment and Management

Year:

2001

Language:

english

File:

PDF, 504 KB

english, 2001

26

Expressing the Tacit Knowledge of a Digital Library System as Linked Data

Di Iorio, Angela, Schaerf, Marco

Journal:

Year:

2019

File:

PDF, 1.85 MB

2019

27

Negation and minimality in disjunctive databases

Journal:

The Journal of Logic Programming

Year:

1995

Language:

english

File:

PDF, 1.50 MB

english, 1995

28

The complexity of model checking for propositional default logics

Paolo Liberatore, Marco Schaerf

Journal:

Data & Knowledge Engineering

Year:

2005

Language:

english

File:

PDF, 199 KB

english, 2005

29

On compact representations of propositional circumscription

Marco Cadoli, Francesco M. Donini, Marco Schaerf, Riccardo Silvestri

Journal:

Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 1.45 MB

english, 1997

30

[Lecture Notes in Computer Science] Reasoning, Action and Interaction in AI Theories and Systems Volume 4155 || Searching in a Maze, in Search of Knowledge: Issues in Early Artificial Intelligence

Stock, Oliviero, Schaerf, Marco

Year:

2006

Language:

english

File:

PDF, 398 KB

english, 2006

31

On bibliometrics in academic promotions: a case study in computer science and engineering in Italy

Demetrescu, Camil, Finocchi, Irene, Ribichini, Andrea, Schaerf, Marco

Journal:

Year:

2020

File:

PDF, 2.03 MB

2020

32

Facial motion cloning with radial basis functions in MPEG-4 FBA

Marco Fratarcangeli, Marco Schaerf, Robert Forchheimer

Journal:

Graphical Models

Year:

2007

Language:

english

File:

PDF, 1.19 MB

english, 2007

33

The Sapienza Digital Library from the Holistic Vision to the Actual Implementation

Catarci, Tiziana, Di Iorio, Angela, Schaerf, Marco

Journal:

Procedia Computer Science

Year:

2014

Language:

english

File:

PDF, 3.16 MB

english, 2014

34

Preprocessing of Intractable Problems

Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf

Journal:

Information and Computation

Year:

2002

Language:

english

File:

PDF, 247 KB

english, 2002

35

Notes on Ginsberg's multivalued logics

Journal:

Computational Intelligence

Year:

1991

Language:

english

File:

PDF, 636 KB

english, 1991

36

[ACM Press the twelfth ACM SIGACT-SIGMOD-SIGART symposium - Washington, D.C., United States (1993.05.25-1993.05.28)] Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems - PODS '93 - Negation and minimality in non-horn databases

Year:

1993

Language:

english

File:

PDF, 1.07 MB

english, 1993

37

On the complexity of entailment in propositional multivalued logics

Marco Cadoli, Marco Schaerf

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

1996

Language:

english

File:

PDF, 1.25 MB

english, 1996

38

[Lecture Notes in Computer Science] Reasoning, Action and Interaction in AI Theories and Systems Volume 4155 || SharedLife: Towards Selective Sharing of Augmented Personal Memories

Stock, Oliviero, Schaerf, Marco

Year:

2006

Language:

english

File:

PDF, 945 KB

english, 2006

39

[ACM Press the 8th ACM SIGGRAPH Conference - Paris, France (2015.11.16-2015.11.18)] Proceedings of the 8th ACM SIGGRAPH Conference on Motion in Games - SA '15 - Collision detection for articulated deformable characters

Rumman, Nadine Abu, Schaerf, Marco, Bechmann, Dominique

Year:

2015

Language:

english

File:

PDF, 7.24 MB

english, 2015

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски